#include "timer_1234.h"
#include "gpio.h"

void init_girouette();

float trouver_angle_girouette();